main: Reload theme on video memory purge errors

The theme machinery uses FBOs in some cases (mainly for shadows) which
need to be reloaded if we get a video memory purged error.

https://bugzilla.gnome.org/show_bug.cgi?id=739178

diff --git a/js/ui/main.js b/js/ui/main.js
index ad95ce0d446165bb4bbe95e3fc22d6615fea5a04..789dd690cf4272644d2ada0917f3ce5c7a7ed7e5 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -191,6 +191,8 @@ function _initializeUI() {
         return true;
     });
 
+    global.display.connect('gl-video-memory-purged', loadTheme);
+
     // Provide the bus object for gnome-session to
     // initiate logouts.
     EndSessionDialog.init();